Dependent Types, Category Theory, Formal Verification, Lambda Calculus
Recurse Checkins
404wolf.comยท9h
LLMs one-box when in a "hostile telepath" version of Newcomb's Paradox, except for the one that beat the predictor
lesswrong.comยท2h
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinลฏ
logicmatters.netยท1d
Java Annotated Monthly โ October 2025
blog.jetbrains.comยท2h
OO Design Principles: GRASP patterns
slott56.github.ioยท1d
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.comยท16h
Loading...Loading more...